“설계 검증”으로 총 1건 검색

• 설계 검증, 設計檢證, design verification

  ①설계 규격과 시방이 설계 요건과 일치하는지를 형식적으로 증명하는 것. ②컴퓨터 시스템 보안에서, 형식적인 증거를 사용해서 시스템의 보안 설계 규격과 보안 방침 모델 간에 일관성이 있는지를 실증해 보이는 것.